Number Theory: The Euclidean Algorithm Proof